""" This module contains all test for pi-graph
"""

from veri.chkrs import Checker
from pispecs import *


chk=Checker()

# chk.checkPiStateGraph(Mono, True)
# chk.checkPiStateGraph(Spaw, True)
# chk.checkPiStateGraph(Term, True)
# chk.checkPiStateGraph(Norm, True)

# chk.checkPiStateGraph(Mono_Mono_1, True)
# chk.checkPiStateGraph(Mono_Mono_2, True)
# chk.checkPiStateGraph(Mono_Spaw_1, True)
# chk.checkPiStateGraph(Mono_Spaw_2, True)
# chk.checkPiStateGraph(Mono_Term_1, True)
# chk.checkPiStateGraph(Mono_Term_2, True)
# chk.checkPiStateGraph(Mono_Norm_1, True)
# chk.checkPiStateGraph(Mono_Norm_2, True)
# chk.checkPiStateGraph(Spaw_Mono_1, True)
# chk.checkPiStateGraph(Spaw_Mono_2, True)
# chk.checkPiStateGraph(Spaw_Spaw_1, True)
# chk.checkPiStateGraph(Spaw_Spaw_2, True)
# chk.checkPiStateGraph(Spaw_Term_1, True)
# chk.checkPiStateGraph(Spaw_Term_2, True)
# chk.checkPiStateGraph(Spaw_Norm_1, True)
# chk.checkPiStateGraph(Spaw_Norm_2, True)
# chk.checkPiStateGraph(Term_Mono_1, True)
# chk.checkPiStateGraph(Term_Mono_2, True)
# chk.checkPiStateGraph(Term_Spaw_1, True)
# chk.checkPiStateGraph(Term_Spaw_2, True)
# chk.checkPiStateGraph(Term_Term_1, True)
# chk.checkPiStateGraph(Term_Term_2, True)
# chk.checkPiStateGraph(Term_Norm_1, True)
# chk.checkPiStateGraph(Term_Norm_2, True)
# chk.checkPiStateGraph(Norm_Mono_1, True)
# chk.checkPiStateGraph(Norm_Mono_2, True)
# chk.checkPiStateGraph(Norm_Spaw_1, True)
# chk.checkPiStateGraph(Norm_Spaw_2, True)
# chk.checkPiStateGraph(Norm_Term_1, True)
# chk.checkPiStateGraph(Norm_Term_2, True)
# chk.checkPiStateGraph(Norm_Norm_1, True)
# chk.checkPiStateGraph(Norm_Norm_2, True)
# 
# chk.checkPiStateGraph(Rec1, True)
# chk.checkPiStateGraph(Rec2, True)
# chk.checkPiStateGraph(specialcase1, True)
# chk.checkPiStateGraph(specialcase2, True)
